Méthodologie pour la construction de systèmes CAO : SIGMA-CAO : une méthode globale pour la spécification, la mise en œuvre et l'utilisation de systèmes intégrés pour la conception assistée par ordinateur
نویسنده
چکیده
HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Méthodologie pour la construction de systèmes CAO: SIGMA-CAO: une méthode globale pour la spécification, la mise en œuvre et l’utilisation de systèmes intégrés pour la conception assistée par ordinateur Bertrand David
منابع مشابه
Approche pour la Génération des Diagrammes UML à partir de l'Univers de Discours et l'Ontologie de Domaine
Résumé. Aujourd’hui, le langage de modélisation unifié (UML) a été largement accepté par l’industrie et s’est établi comme le langage commun pour l’analyse et la conception en génie logiciel orienté objet. Néanmoins, il souffre de manque d'outils et de syntaxe qui lui permettent de raffiner davantage la sémantique de données à partir de l'univers de discours. Ce raffinement est maîtrisé dans la...
متن کاملLa combinaison d'UML avec la méthode formelle CSP-OZ pour le développement d'applications bases des données
Les méthodes utilisées pour la spécification et le développement d’applications de bases de données sont basées soit sur les notations graphiques (appelées méthodes semi-formelles) soit sur des notations mathématiques (appelées méthodes formelles). Les méthodes semi-formelles (E-R, UML, OMT,...) (Jacobson et al., 2005) permettent une représentation intuitive et synthétique du système à étudier....
متن کاملInteraction haptique pour la conception de formes en CAO immersive
Les travaux présentés dans cette thèse traitent de l’utilisation de la Réalité Virtuelle (RV) et plus particulièrement du retour d’effort pour améliorer l’interaction dans les applications de Conception Assistée par Ordinateur (CAO). Dans ce document, nous décrivons le rôle actuel du Product Lifecycle Management (PLM) dans l’industrie, et plus spécifiquement la place tenue par l’outil CAO. Celu...
متن کاملCouplage de spécifications B et de descriptions UML pour l'aide aux développements formels des Systèmes d'Information
RÉSUMÉ. La méthode B est une méthode formelle utilisée pour modéliser des systèmes et prouver l’exactitude de leur conception par raffinements successifs. Mais les spécifications formelles sont difficiles à lire quand elles ne sont pas accompagnées d’une documentation. Cette lisibilité est essentielle pour une bonne compréhension de la spécification, notamment dans des phases de validation ou d...
متن کاملCHASSIS — Une Plate - forme pour la Construction de Systèmes d ’ Information
Les systèmes d’information d’aujourd’hui ont de plus en plus la nécessité d’être ouverts. Ceci implique qu’ils doivent répondre aux besoins de réseaux ouverts, de logiciel et de matériel hétérogènes et “inter-opérables,” et, surtout, à des besoins évolutifs et changeants. Le projet CHASSIS vise le développement d’un cadre informatique et méthodologique pour (i) la conception et la construction ...
متن کامل